Homotopy type theory - PDFSEARCH.IO - Document Search Engine

Homotopy type theory
Results: 77

#	Item
51	Expenses Reimbursement Request Form for the Type Theory, Homotopy Theory, And Univalent Foundations Conference Held in Barcelona, Spain, September 23-27, 2013 133350108585Reminders: (1) Approved expenses reimbursement wi Add to Reading List Source URL: www.hss.cmu.edu Language: English - Date: 2013-09-06 14:27:46 Business Accounts payable Credit card Reimbursement
52	Citations for the Test-of-Time Award from 1994 Awards Committee: Tierry Coquand Dexter Kozen (chair) Leonid Libkin Frank Pfenning Add to Reading List Source URL: lics.rwth-aachen.de Language: English - Date: 2014-07-13 10:46:56 Theoretical computer science Category theory Homotopy type theory Type theory Algebraic structures Groupoid IEEE Symposium on Logic in Computer Science Logic programming Frank Pfenning Homotopy theory Mathematics Abstract algebra
53	95 Homotopy type theory ´ Alvaro Pelayo1 , Michael A. Warren2 Add to Reading List Source URL: smf4.emath.fr Language: English - Date: 2014-10-17 09:03:44 Abstract algebra Homotopy type theory Homotopy Groupoid Function Fundamental group Model category Curry–Howard correspondence Type theory Mathematics Homotopy theory Topology
54	SOME PROBLEMS ARISING FROM HOMOTOPY-THEORETIC METHODS IN KNOT THEORY ´ May 25, 2010 ISMAR VOLIC, This is a partial list of some interesting questions that arose in the past decade or so from Add to Reading List Source URL: palmer.wellesley.edu Language: English - Date: 2010-05-25 22:15:28 Homology theory Algebraic topology 3-manifolds Finite type invariant Homotopy Knot invariant Singular homology Rational homotopy theory Clifford Taubes Topology Homotopy theory Knot theory
55	Homotopical Patch Theory (Expanded Version) Carlo Angiuli ∗ Edward Morehouse ∗ Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-07-29 20:48:31 Abstract algebra Homotopy Path Quasigroup Covering space Intuitionistic type theory Fundamental group CW complex Function Topology Mathematics Homotopy theory
56	NEW PERSPECTIVES ON SELF-LINKING RYAN BUDNEY, JAMES CONANT, KEVIN P. SCANNELL, AND DEV SINHA Abstract. We initiate the study of classical knots through the homotopy class of the nth evaluation map of the knot, which is t Add to Reading List Source URL: borel.slu.edu Language: English - Date: 2005-10-25 21:01:43 Contractible space Finite type invariant Nerve Linking number Deformation retract CW complex Model category Degree of a continuous mapping Universal bundle Topology Homotopy theory Homotopy
57	PDF Document Add to Reading List Source URL: dlicata.web.wesleyan.edu Language: English - Date: 2013-10-18 06:54:57 Software Functional languages Homotopy type theory Type theory Coq Homotopy Agda Vladimir Voevodsky Topology Homotopy theory Mathematics
58	PDF Document Add to Reading List Source URL: dlicata.web.wesleyan.edu Language: English - Date: 2014-05-05 05:23:52 Abstract algebra Homotopy Path Covering space Quasigroup Intuitionistic type theory Out Fundamental group Bijection injection and surjection Topology Homotopy theory Mathematics
59	AN ETALE APPROACH TO THE NOVIKOV CONJECTURE A.N. Dranishnikov, S. Ferry, and S, Weinberger Abstract. We show that the rational Novikov conjecture for a group Γ of finite homological type follows from the mod 2 acyclici Add to Reading List Source URL: math.rutgers.edu Language: English - Date: 2014-02-26 15:52:50 Homotopy theory Surgery theory Homology theory Topological spaces Stone–Čech compactification Homotopy Assembly map Cohomology Novikov conjecture Topology Abstract algebra Algebraic topology
60	Intuitions for cubical methods in nonabelian algebraic topology Ronnie Brown IHP, Paris, June 5, 2014 CONSTRUCTIVE MATHEMATICS AND MODELS OF TYPE Add to Reading List Source URL: pages.bangor.ac.uk Language: English - Date: 2014-06-08 07:12:18 Homotopy theory Category theory Algebraic topology Higher category theory Algebraic structures Seifert–van Kampen theorem Double groupoid Groupoid Crossed module Abstract algebra Topology Mathematics